/**
 * 
 */
package controller.xml;


/**
 * Just a class that contain some constants use to import/export a session in xml.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public class XMLBaliseFormat {
	public static final String	XML_FILE_NAME				= "export.xml";
	public static final String	XML_EXPORT_SOLVER_FILE_NAME	= "solvers.xml";
	public static final String	XML_PROLOG					= "<?xml version=\"1.0\" encoding=\"UTF-8\"?>";

	// BASIC
	public static final String	TRUE						= "TRUE";
	public static final String	FALSE						= "FALSE";

	// BALISE
	public static final String	SESSION_BLOCK				= "SESSION_BLOCK";
	public static final String	PREVIOUS_TIME				= "PREVIOUS_TIME";
	public static final String	BASIC_RESULT				= "BASIC_RESULT";
	public static final String	CNFUSE						= "CNFUSE";
	public static final String	CNFUSE_STATUS				= "CNFUSE_STATUS";
	public static final String	PREPROC_CNFUSE				= "PREPROCESSOR_CNFUSE";
	public static final String	CNF							= "CNF";
	public static final String	CNF_NAME					= "NAME";
	public static final String	CNF_STAT					= "STAT";
	public static final String	CNF_NUM_VAR					= "NUM_VAR";
	public static final String	CNF_NUM_LITERAL				= "NUM_LITERAL";
	public static final String	CNF_NUM_CLAUSE				= "NUM_CLAUSE";
	public static final String	CNF_NUM_UNIT_CLAUSE			= "NUM_CLAUSE_UNIT";
	public static final String	CNF_NUM_BINARY_CLAUSE		= "NUM_CLAUSE_BINARY";
	public static final String	CNF_AVERAGE_LIT_CLAUSE		= "AVERAGE_LIT_CLAUSE";

	public static final String	EXECUTION					= "EXECUTION";
	public static final String	EXECUTION_DESCRIPTION		= "DESCRIPTION";
	public static final String	EXECUTION_STATUS			= "EXECUTION_STATUS";
	public static final String	SOLVER_EXECUTION			= "SOLVER_EXECUTION";
	public static final String	SOLVER_RESULT				= "SOLVER_RESULT";
	public static final String	SOLVER_RESULT_STATUS		= "SOLVER_RESULT_STATUS";
	public static final String	SOLVER_RESULT_SOLUTION		= "SOLVER_SOLUTION";
	public static final String	BASIC_RESULT_STDERR			= "STDERR";
	public static final String	BASIC_RESULT_STDOUT			= "STDOUT";
	public static final String	BASIC_RESULT_DESC			= "DESCRIPTION";
	public static final String	BASIC_RESULT_BEGIN			= "BEGIN";
	public static final String	BASIC_RESULT_END			= "END";
	public static final String	BASIC_RESULT_MEMORY			= "MEMORY";
	public static final String	BASIC_RESULT_EXITVALUE		= "EXIT_VALUE";
	public static final String	SOLVER						= "SOLVER";
	public static final String	SOLVER_TYPE					= "SOLVER_TYPE";

	public static final String	SET_IMPORTESOLVER			= "SET_IMPORTESOLVER";
	public static final String	IMPORTESOLVER				= "IMPORTESOLVER";
	public static final String	IMPORTESOLVER_EXEC			= "IMPORTESOLVER_EXEC";
	public static final String	IMPORTESOLVER_XMLVALUE		= "IMPORTESOLVER_XMLVALUE";
	public static final String	IMPORTESOLVER_DESCRIPTION	= "IMPORTESOLVER_XMLVALUE_DESCRIPTION";

	public static final String	PARAMETER					= "PARAMETER";
	public static final String	SOLVER_PARAMETER			= "SOLVER_PARAMETER";
	public static final String	BASIC_PARAMETER				= "BASIC_PARAMETER";
	public static final String	BASIC_PARAMETER_TIMEOUT		= "TIMEOUT";
	public static final String	PREPROC						= "PREPROC";
	public static final String	PREPROC_TYPE				= "PREPROC_TYPE";
	public static final String	PREPROC_PARAMETER			= "PREPROC_PARAMETER";
	public static final String	PREPROC_EXECUTION			= "PREPROCESSOR_EXECUTION";
	public static final String	PREPROC_RESULT				= "PREPROCESSOR_RESULT";
	public static final String	PREPROC_RESULT_STATUS		= "PREPROCESSOR_RESULT_STATUS";


	// ATTRIBUT
	public static final String	TYPE_PARAMETER				= "type";


	// VALUE
	public static final String	TYPE_PARAMETER_SOLVEUR		= "solver";
	public static final String	TYPE_PARAMETER_PREPROCESSOR	= "preprocessor";


	// MINISAT
	public static final String	MINISAT_PRE					= "PRE";
	public static final String	MINISAT_ASYMM				= "ASYMM";
	public static final String	MINISAT_RECHECK				= "RCHECK";
	public static final String	MINISAT_GROY				= "GROW";
	public static final String	MINISAT_POLARITY			= "POLARITY_MODE";
	public static final String	MINISAT_DECAY				= "DECAY";
	public static final String	MINISAT_RNDFREQ				= "RNDFREQ";
	public static final String	MINISAT_VERBOSITY			= "VERBOSITY";
	// RSAT
	public static final String	RSAT_SOLUTION				= "PRINT_SOLUTION";
	// IMPORT SOLVEr
	public static final String	IMPORT_CNF_POSITION			= "CNF_POSITION";
	public static final String	IMPORT_ARG					= "ARG";


	// HYPRE
	public static final String	HYPRE_VERBOSITY				= "VERBOSITY";


}
